University of Vienna - PDFSEARCH.IO - Document Search Engine

University of Vienna
Results: 1461

#	Item
341	Veranstaltungsmanagement, GuT Hotels in Vienna The University of Technology of Vienna has concluded cooperations with hotels near the University of Technology Vienna. The event participants/conference members can thereb Add to Reading List Source URL: www.gut.tuwien.ac.at Language: English - Date: 2015-07-14 08:27:32
342	4th International Conference on Cartography and GIS June, 18 – 22, 2012, Albena, Bulgaria Prof. Georg Gartner Vienna University of Technology Add to Reading List Source URL: cartography-gis.com Language: English - Date: 2011-10-10 14:22:00
343	Call for Papers Interdisciplinary Conference MARITIME MOBILITIES: Critical Perspectives from the Humanities University of Vienna, Feb. 1-2, 2016 Department of English and American Studies Research Platform Mobile Culture Add to Reading List Source URL: mobilecultures.univie.ac.at Language: English - Date: 2015-09-10 05:35:15
344	Abstraction and Mining of Traces to Explain Concurrency Bugs Mitra Tabaei Befrouei1∗ , Chao Wang2† , and Georg Weissenbacher1? 1 Vienna University of Technology Add to Reading List Source URL: www.georg.weissenbacher.name Language: English - Date: 2014-09-16 15:34:17
345	00 A SAT Approach to Clique-Width MARIJN J. H. HEULE, Department of Computer Sciences, The University of Texas at Austin STEFAN SZEIDER, Institute of Computer Graphics and Algorithms, Vienna University of Technology Cli Add to Reading List Source URL: tocl.acm.org Language: English
346	Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) Johannes Birgmeier1? , Aaron R. Bradley2?? , and Georg Weissenbacher1? 1 Vienna University of Technology Add to Reading List Source URL: www.georg.weissenbacher.name Language: English - Date: 2014-05-16 17:06:38
347	Department of Applied Mathematics and Numerical Analysis University of Technology Vienna Report Nr Add to Reading List Source URL: kofler.dot.at Language: English - Date: 2009-06-19 18:05:03
348	Challenges for Dynamic Analysis of iOS Applications Martin Szydlowski1 , Manuel Egele2 , Christopher Kruegel2 , and Giovanni Vigna2 1 Secure Systems Lab, Vienna University of Technology, Austria Add to Reading List Source URL: iseclab.org Language: English
349	CUDA Libraries Ezio Bartocci Vienna University of Technology Overview of the CUDA libraries Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2015-02-17 14:06:57
350	Advanced SAT Techniques for Abstract Argumentation Johannes P. Wallner, Georg Weissenbacher, and Stefan Woltran Institute of Information Systems, Vienna University of Technology, Favoritenstraße 9-11, A-1040 Vienna, Aus Add to Reading List Source URL: www.georg.weissenbacher.name Language: English - Date: 2013-07-09 10:08:07

UPDATE